大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Catalogue of Risks [electronic resource] : Natural, Technical, Social and Health Risks

0
索取号：
作者：Proske、 Dirk.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Modeling, Simulation and Optimization of Complex Processes [electronic resource] : Proceedings of the Third International Conference on High Performance Scientific Computing, March 6鈥ᰬ 2006, Hanoi, Vietnam

0
索取号：
作者：Bock、 Hans Georg.、Kostina、 Ekaterina.、Phu、 Hoang Xuan.、Rannacher、 Rolf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Sustainable Management of Natural Resources [electronic resource] : Mathematical Models and Methods

0
索取号：
作者：Lara、 Michel De.、Doyen、 Luc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Soft Computing Applications in Business [electronic resource]

0
索取号：
作者：Prasad、 Bhanu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Mathematical Epidemiology [electronic resource]

0
索取号：
作者：Brauer、 Fred.、Driessche、 Pauline.、Wu、 Jianhong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

0
索取号：
作者：Lirkov、 Ivan.、Margenov、 Svetozar.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Compiler Construction [electronic resource] : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

0
索取号：
作者：Hendren、 Laurie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logic-Based Program Synthesis and Transformation [electronic resource] : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

0
索取号：
作者：King、 Andy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings

0
索取号：
作者：Giacobini、 Mario.、Brabazon、 Anthony.、Cagnoni、 Stefano.、Caro、 Gianni A.、Drechsler、 Rolf.、Ek谩rt、 Anik贸.、Esparcia-Alc谩zar、 Anna Isabel.、Farooq、 Muddassar.、Fink、 Andreas.、McCormack、 Jon.、O鈥橬eill、 Michael.、Romero、 Juan.、Rothlauf、 Franz.、Squillero、 Giovanni.、Uyar、 A. 艦ima.、Yang、 Shengxiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Programming Languages and Systems [electronic resource] : 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

0
索取号：
作者：Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Fournet、 C茅dric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Knowledge Management for Health Care Procedures [electronic resource] : From Knowledge to Global Care, AIME 2007 Workshop K4CARE 2007, Amsterdam, The Netherlands, July 7, 2007, Revised Selected Papers

0
索取号：
作者：Ria帽o、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

0
索取号：
作者：Woods、 Roger.、Compton、 Katherine.、Bouganis、 Christos.、Diniz、 Pedro C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Foundations of Software Science and Computational Structures [electronic resource] : 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

0
索取号：
作者：Amadio、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Mining: Foundations and Practice [electronic resource]

0
索取号：
作者：Lin、 Tsau Young.、Xie、 Ying.、Wasilewska、 Anita.、Liau、 Churn-Jung.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Inductive Logic Programming [electronic resource] : 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers

0
索取号：
作者：Blockeel、 Hendrik.、Ramon、 Jan.、Shavlik、 Jude.、Tadepalli、 Prasad.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.